#ifndef __CONSOLE_PROC_H_
#define __CONSOLE_PROC_H_
#include <stdint.h>

void console_init(void);
int console_run(void);

void register_device_control(void);
#endif // __CONSOLE_PROC_H_